Abstract machine - PDFSEARCH.IO - Document Search Engine

Abstract machine
Results: 823

#	Item
281	Using Memory Errors to Attack a Virtual Machine Sudhakar Govindavajhala ∗ Andrew W. Appel Princeton University {sudhakar,appel}@cs.princeton.edu Abstract Add to Reading List Source URL: www.cs.princeton.edu Language: English - Date: 2003-03-11 23:05:35 Java platform Computing platforms Memory management Pointer Java virtual machine Java Native Interface Dynamic random-access memory Type safety ECC memory Computing Computer memory Cross-platform software
282	Multiclass Boosting with Repartitioning Ling Li Learning Systems Group, California Institute of Technology, Pasadena, CA 91125, USA Abstract Add to Reading List Source URL: www.work.caltech.edu Language: English - Date: 2006-04-25 06:05:42 Artificial intelligence Learning Perceptron Support vector machine AdaBoost Margin classifier Boosting Multiclass classification Statistics Statistical classification Ensemble learning
283	A Lightweight Symbolic Virtual Machine for Solver-Aided Host Languages Emina Torlak Rastislav Bodik Add to Reading List Source URL: homes.cs.washington.edu Language: English - Date: 2014-08-13 19:26:58 Formal methods Abstract interpretation Symbolic execution Functional languages Models of computation Model checking Function Programming language Test Mathematics Theoretical computer science Computing
284	MIL Rover: An Autonomous All-Terrain Robot Shu Jiang Machine Intelligent Laboratory University of Florida Abstract Add to Reading List Source URL: www.mil.ufl.edu Language: English - Date: 2008-05-07 15:21:04 Mars Exploration Rover Off-road vehicles Mobile robot Robotics Autonomous robot Rocker-bogie Mars Pathfinder Rover Sonar Spaceflight Spacecraft Space technology
285	Questions of Reasoning Under Logical Uncertainty Nate Soares and Benja Fallenstein Machine Intelligence Research Institute {nate,benja}@intelligence.org Abstract Add to Reading List Source URL: intelligence.org Language: English - Date: 2015-03-20 21:16:44 Reasoning Logical consequence Non-classical logic Probabilistic logic Entailment First-order logic Bayesian probability Inference Complete theory Logic Philosophical logic Model theory
286	Demand Based Hierarchical QoS Using Storage Resource Pools Ajay Gulati, Ganesha Shanmuganathan VMware Inc {agulati, sganesh}@vmware.com Abstract Add to Reading List Source URL: www.usenix.org Language: English - Date: 2015-05-28 22:53:56 VMware Programming language implementation Virtual machine Hyper-V IOPS OpenVMS Scheduling Scalability Computing System software Software
287	Feature Shift Detection Assaf Glazer, Michael Lindenbaum, Shaul Markovitch Technion Institute of Technology, Haifa, Israel 32000 {assafgr,mic,shaulm}@cs.technion.ac.il Abstract Add to Reading List Source URL: www.cs.technion.ac.il Language: English - Date: 2012-07-10 04:04:04 Image processing Linear algebra Abstract algebra Statistical classification Support vector machine Feature Prior probability Vector space Edge detection Algebra Mathematics Computer vision
288	Chapter 8 in “CASE On Trial”; edited by Kathy Spurr and Paul Layzell; Wiley, 1990 CASE Tools and Development Methods Michael Jackson ABSTRACT CASE tools are the machine tools for software manufacture. Software manuf Add to Reading List Source URL: mcs.open.ac.uk Language: English - Date: 2002-05-03 12:52:54 Separation of concerns Compiler Computer programming MetaCASE tool Software testing Software Software development Reductionism
289	Common Sense Reasoning for Detection, Prevention, and Mitigation of Cyberbullying (Extended Abstract)∗ Karthik Dinakar, Rosalind Picard, Henry Lieberman Massachusetts Institute of Technology Cambridge, MA {karthik,pica Add to Reading List Source URL: affect.media.mit.edu Language: English - Date: 2015-03-14 18:36:18 Natural language processing Artificial intelligence Open Mind Common Sense Machine learning Formspring Cyber-bullying Word-sense disambiguation Abuse Supervised learning Linguistics Science Computational linguistics
290	Sublinear Time Approximate Clustering Nina Mishra Dan Oblinger y Abstract Add to Reading List Source URL: www.cs.iastate.edu Language: English - Date: 2003-04-21 16:55:06 Data analysis Data mining Geostatistics Machine learning K-medians clustering Data stream clustering Consensus clustering Statistics Multivariate statistics Cluster analysis

UPDATE